TSTP Solution File: ITP294^4 by Nitpick---2016